Animating CSS properties in web development